$\forall$$p$:(IdLnk List), $i$, $j$:Id. lconnects($p$;$i$;$j$) $\in$ $\mathbb{P}$